Local CPS conversion

Local CPS conversion in a direct-style compiler

Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler. The transformation consists of a combination of CPS conversion and light-weight closure conversion, which allows the compiler to merge the environments of nested recursive functions. This merging, in turn, allows the backend to use a single machine-level procedure to i...

Optimizing Nested Loops Using Local CPS Conversion

Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler that uses recursive functions to represent loops. The transformation selectively applies CPS conversion at non-tail call sites, which allows the compiler to use a single machine procedure and stack frame for both the caller and callee. In this paper, we describe LCPS co...

Local CPS conversion in a direct - style compiler ( extended

Capsular polysaccharide phase variation in Vibrio vulnificus.

Commonly found in raw oysters, Vibrio vulnificus poses a serious health threat to immunocompromised individuals and those with serum iron overload, with a fatality rate of approximately 50%. An essential virulence factor is its capsular polysaccharide (CPS), which is responsible for a significant increase in virulence compared to nonencapsulated strains. However, this bacterium is known to vary...

Lambda-lifting and CPS conversion in an imperative language

This paper is a companion technical report to the article “Continuation-Passing C: from threads to events through continuations”. It contains the complete version of the proofs of correctness of lambda-lifting and CPS-conversion presented in the article.